$\forall$$a$,$b$,$c$:rationals. ($a$ + $b$ + $c$) = ($b$ + $a$ + $c$) $\in$ rationals